Verification of component-based embedded system designs
- Författare
- Daniel Karlsson, teknisk doktor
- (Daniel Karlsson., Diss. Linköping : Linköpings universitet, 2006)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer and Information Science, Linköping University, LiU-Tryck | 2006 | Sverige, Linköping, Linköping | 294 sidor illustrationer 24 cm |